quick-tripping relay - German English Dictionary